41. Category theory and computer science :
پدیدآورنده : D.H. Pitt [and others] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Mathematics), Congresses.,Computer science, Congresses.,Catégories (Mathématiques)-- Congrès.,Informatique, Congrès.,Categorieën (wiskunde),Categories (Mathematics),Categories (Mathematics), Congresses.,Catégories (mathématiques)-- Congrès.,Computer science.,Computers.,Datenverarbeitung,Informatik,Kategorientheorie,Kongress,Logic, Symbolic and mathematical, Congresses.
رده :
QA75
.
5
.
S86
1991
42. Certified programs and proofs :
پدیدآورنده : Jean-Pierre Jouannaud, Zhong Shao (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb
43. Coalgebraic methods in computer science :
پدیدآورنده : Corina Cîrstea (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA76
.
9
.
M35
44. Computational complexity : proceedings : 17th IEEE Annual Conference on Computational Complexity : 21-24 May, 2002, Montreal, Canada
پدیدآورنده : Sponsored by IEEE Computer Society Techninal Committee on Mathematical Foundation of Computing; in cooperation with SIGACT...
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computational complexity,Congresses ، Nonlinear boundary value problems,Congresses ، Polynomials,Congresses ، Logic programming
رده :
QA
267
.
7
.
I36
2002
45. Computational complexity : proceedings : 16th IEEE Conference on Computational Complexity : June 18-21, 2001, Chicago, Illinois
پدیدآورنده : sponsored by The IEEE Computer Society, Technical Committee for Mathematical Foundations of Computing; in cooperation with ACM SIGACT, EATCS
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computational complexity,Congresses ، Nonlinear boundary value problems,Congresses ، Polynomials,Congresses ، Logic programming
رده :
QA
267
.
7
.
I36
2001
46. Computational linguistics and intelligent text processing
پدیدآورنده : / Alexander Gelbukh (ed.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Text processing (Computer science), Congresses,Computational linguistics, Congresses,Discourse analysis, Data processing, Congresses,Information storage and retrieval systems, Congresses
رده :
QA76
.
9
.
T48C49
2010
47. Computational logic in multi-agent systems :
پدیدآورنده : João Leite [and others] (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic, Congresses,Multiagent systems, Congresses
رده :
QA76
.
9
.
L63
C55
2011
48. Computational logic in multi-agent systems :
پدیدآورنده : João Leite [and 4 others] (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational intelligence, Congresses,Multiagent systems, Congresses
رده :
QA76
.
76
.
I58
C55
2013
49. Computational matter /
پدیدآورنده : Susan Stepney, Steen Rasmussen, Martyn Amos, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing.,Natural computation, Congresses.,Soft computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing.,Natural computation.,Soft computing.
رده :
QA76
50. Computational pathology and ophthalmic medical image analysis :
پدیدآورنده : Danail Stoyanov, Zeike Taylor, Francesco Ciompi, Yanwu Xu et al. (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Eye-- Imaging, Congresses.,Pathology-- Data processing, Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Image Processing and Computer Vision.,Pattern Recognition.,Probability and Statistics in Computer Science.,Algorithms & data structures.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Mathematical & Statistical Software.,Image processing.,Maths for computer scientists.,Pathology-- Data processing.,Pattern recognition.
رده :
RB38
51. [Computer aided systems theory] [revised selected papers]
پدیدآورنده : [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
52. Computer performance engineering :
پدیدآورنده : Nigel Thomas (edition)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer engineering, Congresses,Computer systems-- Evaluation, Congresses,Computers-- Reliability, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
E94
E64
2011
53. Computer science logic :
پدیدآورنده : Hans Kleine Büning (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA75
.
5
H367
1996
54. Computer supported education :
پدیدآورنده : Bruce M. McLaren, Rob Reilly, Susan Zvacek, James Uhomoibhi (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer-assisted instruction, Congresses.,Education-- Data processing, Congresses.,Computer-assisted instruction.,Education-- Data processing.
رده :
LB1028
.
5
55. Conceptual modeling--ER 2011 :
پدیدآورنده : Manfred A. Jeusfeld, Lois Delcambre, Tok Wang Ling (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer simulation, Congresses,Conceptual structures (Information theory)-- Congresses,Database design, Congresses,Relational databases-- Congresses
رده :
QA76
.
9
.
C65
I58
2011
56. Conceptual structures : broadening the base : 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001 : proceedings
پدیدآورنده : Harry S. Delugach, Gerd Stumme, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Conceptual structures )Information theory(,Congresses ، Graph theory,Congresses ، Logic programming,Congresses ، Knowledge representation )Information theory(,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
L28
Vol
.
2120
57. Conceptual structures, current practices :
پدیدآورنده : John F Sowa
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Conceptual structures (Information theory) -- Congresses.,Graph theory -- Congresses.,Knowledge representation (Information theory) -- Congresses.
رده :
Q387
.
J646
1994
58. Constraint solving and language processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers
پدیدآورنده : Henning Christiansen, Peter Rossen Skadhauge, Jorgen Villadsen )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
L28
Vol
.
3438
59. Constraints in computational logics : first International Conference, CCL'94, Munich, Germany, September 7-9, 1994 : proceedings
پدیدآورنده : Jean-Pierre Jouannaud )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
845
60. Current trends in concurrency :
پدیدآورنده : edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
